Evolution of species from Darwin theory: A simple model

Darwin - A Theorem Prover for the Model Evolution Calculus

Darwin is the first implementation of the Model Evolution Calculus by Baumgartner and Tinelli. The Model Evolution Calculus lifts the DPLL procedure to first-order logic. Darwin is meant to be a fast and clean implementation of the calculus, showing its effectiveness and providing a base for further improvements and extensions. Based on a brief summary of the Model Evolution Calculus, we descri...

Inclusive fitness theory from Darwin to Hamilton.

ONE of the central dogmas of modern behavioral ecology is that blood kinship plays a critical role in understanding the evolution of social behavior, particularly of costly social behavior such as altruism and cooperation. But it was not always so, and what I would like to do in this Perspectives is provide some historical context that led up to William Hamilton’s seminal work developing inclus...

skopos theory and translating strategies of csis in translaed literary texts from english into persian

abstract translation has become a cultural act which plays a significant role in human life. with the emergence of functional translation theories, and skopos theory in particular, translation has been considered as a purposeful, interpersonal and intercultural activity which is produced for particular recipients and directed by a specific purpose. this purpose determines the translatio...

translation of collocations from english into persian, based on ghazalas theory

غزالا همایندها را به صورت ترکیبی از دو یا چند واژه که همواره در متون مختلف زبان ها همراه با هم می آیند تعریف می نماید. از دیدگاه او روند رو به رشد میل به ترجمه ی همایندها در مطالعات ترجمه، به دلیل اهمیت آنها در انسجام ساختار زبان است. این پایان نامه اساسا به ترجمه ی همایندها منحصر شده است. هدف آن بررسی کاربرد راهکارهای غزالا در مورد ترجمه ی همایندها از انگلیسی به فارسی است. هدف دیگر آن یافتن پر...

From Michelangelo to Darwin: the evolution of human longevity.